			
			function selectChanged(select) {
				var rev = select.options[select.selectedIndex].value;
				var name = select.name;

				var radios = document.getElementsByName(name);
				var i = 0;
				for(i = 0; i < radios.length; i++) {
					var radio_rev = radios[i].value;
					if(radio_rev == rev) { 
						radios[i].checked = true;						
						//break;
					} else {
						radios[i].checked = false;						
					}
				}	
				
			}
			
			function radioChanged(radio) {
				var rev = radio.value;
				var name = radio.name;
				var elements = document.getElementsByName(name);
				var select = elements[elements.length - 1];

				var options = select.options;
				var i = 0;
				for(i = 0; i < options.length; i++) {
					var option_rev = options[i].value;

					if(option_rev == rev) { 
						select.selectedIndex = i;					
						break;
					} 
				}

			
			}
			